$\Sigma^{\mu}_2$ is decidable for $\Pi^{\mu}_2$
نویسندگان
چکیده
Given a Πμ 2 formula of the modal μ calculus, it is decidable whether it is equivalent to a Σμ 2 formula.
منابع مشابه
Representing Nonterminating Rewriting with $\mathbf{F}_2^\mu$
We specify a second-order type system Fμ2 that is tailored for representing nonterminations. The nonterminating trace of a term t in a rewrite system R corresponds to a productive inhabitant e such that ΓR ` e : t in Fμ2 , where ΓR is the environment representing the rewrite system. We prove that the productivity checking in Fμ2 is decidable via a mapping to the λ-Y calculus. We develop a type ...
متن کاملNonrigid Group Theory of Water Clusters ( Cyclic Forms): (H2O)i for 2<=i<=6
The character table of the fully nonrigid water cluster (cyclic forms), (H_{2}O){_i}, with C{_ih} symmetry derived for the first time, for 2<=i <=6. The group of all feasible permutations is the wreath product of groups S{_i}[S{_2}] which consists of i!2i operations for i = 2, ..., 6 divided into ( w.r.t) 5, 10, 20, 36, 65 conjugacy classes and 5, 10, 20, 36, 65 irreducible representations resp...
متن کاملOn cyclic DNA codes over $\mathbb{F}_2+u\mathbb{F}_2+u^2\mathbb{F}_2$
In the present paper we study the structure of cyclic DNA codes of even length over the ring F2 + uF2 + u 2 F2 where u 3 = 0. We investigate two presentations of cyclic codes of even length over F2 + uF2 + u 2 F2 satisfying the reverse constraint and the reverse-complement constraint.
متن کاملSelf-Dual Codes over $\mathbb{Z}_2\times (\mathbb{Z}_2+u\mathbb{Z}_2)$
In this paper, we study self-dual codes over Z2× (Z2+uZ2), where u 2 = 0. Three types of self-dual codes are defined. For each type, the possible values α, β such that there exists a code C ⊆ Z2×(Z2+uZ2) β are established. We also present several approaches to construct self-dual codes over Z2 × (Z2 + uZ2). Moreover, the structure of two-weight self-dual codes is completely obtained for α · β 6...
متن کاملSolution of the propeller conjecture in $\mathbb{R}^3$
It is shown that every measurable partition ${A_1,..., A_k}$ of $\mathbb{R}^3$ satisfies $$\sum_{i=1}^k||\int_{A_i} xe^{-\frac12||x||_2^2}dx||_2^2\le 9\pi^2.\qquad(*)$$ Let ${P_1,P_2,P_3}$ be the partition of $\mathbb{R}^2$ into $120^\circ$ sectors centered at the origin. The bound is sharp, with equality holding if $A_i=P_i\times \mathbb{R}$ for $i\in {1,2,3}$ and $A_i=\emptyset$ for $i\in \{4...
متن کامل